Nuprl Definition : w-time
11,40
postcript
pdf
time(
e
) ==
e
.2
latex
clarification:
w-time(
w
;
e
) ==
e
.2
latex
Definitions
t
.2
FDL editor aliases
w-time
origin